Économie du monde arabe et musulman, 1992, 4ème édition. Cachan, France, Éditions Emam, 1992,240 p.

Égypte/Monde arabe, 34 | 1998

Égypte/Monde arabe, 24 | 1995

Égypte/Monde arabe, 24 | 1995

Égypte/Monde arabe, 34 | 1998

Ecole Normale Supérieure de Cachan 61 , avenue du Président Wilson 94235 Cachan Cedex France

Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many examples of classical systems to be seen ...